Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
401	Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Computer Science Institute, Goethe-University, Frankfurt am Main, Germany Email: {sabel,schauss}@ki.informatik.uni-frankfurt.de Add to Reading List Source URL: www.ki.informatik.uni-frankfurt.de Language: English - Date: 2012-06-27 17:17:43 Applied mathematics Computing Logic in computer science Models of computation Combinatory logic Lambda calculus Monad Π-calculus Lambda Software engineering Functional programming Theoretical computer science
402	Mathematics YEAR 1 Code TW1030 TW1030 TW1010 Add to Reading List Source URL: ch.tudelft.nl Language: English - Date: 2014-08-29 18:44:32 Calculus Mathematical analysis Mathematics Stochastic Combinatorics Functional analysis Knowledge Mathematical optimization Operations research Mathematical finance
403	functional Programming in Ruby by Paul Barry What is Functional Programming? A programming paradigm that treats Add to Reading List Source URL: files.meetup.com Language: English - Date: 2010-04-12 14:29:51 Functional programming Lambda calculus Subroutines Higher-order functions Data types Partial application First-class function Currying Lazy evaluation Software engineering Declarative programming Computing
404	BULLETIN(New Series)OF THE AMERICAN MATHEMATICALSOCIETY Volume 28, Number 2, April 1993 PREVALENCE: AN ADDENDUM BRIAN R. HUNT, TIM SAUER, AND JAMES A. YORKE Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-03-29 15:28:14 Differential calculus Real analysis Functional analysis Topological vector spaces Lipschitz continuity Fréchet space Derivative Series Measure Mathematical analysis Mathematics Algebra
405	Certifiable Specification and Verification of C Programs Christoph Lüth and Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany [removed], [removed] Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-10-23 03:41:49 Denotational semantics Logic in computer science Symbol Structure String Model theory Holomorphic functional calculus Orbifold Mathematics Theoretical computer science Mathematical logic
406	On Runge’s Theorem We spent several lectures studying approximation of functions on the real line by polynomials. We proved, for example, that on a closed interval every continuous function can be uniformly approximate Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2013-08-05 12:58:17 Symbol Holomorphic functional calculus Grunsky matrix Mathematical analysis Complex analysis Constructible universe
407	The Baire Category Theorem BJG May 2009 The theorem. The Baire Category theorem is a very innocent-looking statement which is, furthermore, not too hard to prove. It can, however, be used to obtain some Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2013-08-05 12:58:14 General topology Functional analysis Differential calculus Functions and mappings Continuous function Baire space Metric space Meagre set Differentiable function Mathematical analysis Mathematics Topology
408	Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework Gabriel Dos Reis1 , David Matthews2 , and Yue Li1 1 Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2014-05-18 16:53:02 Functional languages Procedural programming languages Standard ML ML Lambda calculus Function Axiom Valuation Type system Mathematics Programming language theory Software engineering
409	Proc. Indian Acad. Sci. (Math. Sci.) Vol. 112, No. 1, February 2002, pp. 99–106. © Printed in India On the norm convergence of the self-adjoint Trotter–Kato product formula with error bound TAKASHI ICHINOSE∗ and H Add to Reading List Source URL: www.ias.ac.in Language: English - Date: 2012-12-05 01:41:03 Mathematics Self-adjoint operator Spectral theorem Hilbert space Lie product formula Contraction Operator norm Borel functional calculus Algebra Operator theory Mathematical analysis
410	AIAA JOURNAL Vol. 41, No. 2, February 2003 Algorithm Developments for Discrete Adjoint Methods Michael B. Giles¤ and Mihai C. Duta† Oxford University, Oxford, England OX1 3QD, United Kingdom Add to Reading List Source URL: piercelab.caltech.edu Language: English - Date: 2010-09-08 02:56:25 Functional analysis Multivariable calculus Differential equations Operator theory Mathematical optimization Optimal control Navier–Stokes equations Adjoint Computational fluid dynamics Mathematical analysis Calculus Mathematics

UPDATE